Urban land use planning using answer set programming - preliminary report -

The urban planning is required to direct the cities development based on the sustainable use of its territory. On the other hand, Answer Set Programming (ASP) is a logic programming paradigm with the ability of non-monotonic reasoning, which has contributed to solving complex problems in a short period of time, providing a considerable number of possible outcomes to the same problem. The treatment of sustainable urban planning by using a declarative approach like ASP has not been proposed so far. This article aims to demonstrate a modelling exercise using basic knowledge about a mix of urban land usage. Also, to show alternatives for a better functional integration of green and habitational areas, as well as a discussion of further research using this approach.